Prove that log(1 tan x)dx =π